-
1 recursive theory
Математика: рекурсивная теория -
2 recursive theory
мат. -
3 recursive
recursive /rɪˈkɜ:sɪv/ (mat., comput., ling.)a.● recursive theory, teoria della ricorsivitàrecursivelyavv.ricorsivamente; con ricorsivitàrecursivenessn. [u]ricorsività. -
4 recursive
[rıʹkɜ:sıv] a1. мат. рекуррентный; рекурсивныйrecursive definition [function] - рекурсивное определение [-ая функция]
2. тех. оборотный, способный к повторному использованию -
5 recursive
adj мат.рекурсивний* * *a1) мaт. рекурентний; рекурсивний2) тex. оборотний, здатний до повторного використання -
6 recursive
рекурсивный (математика) рекуррентный;
рекурсивный - * definition рекурсивное определение - * function theory теория рекурсивных функций (техническое) оборотный, способный к повторному использованию recursive вчт. рекурсивныйБольшой англо-русский и русско-английский словарь > recursive
-
7 recursive set
The English-Russian dictionary general scientific > recursive set
-
8 recursive function theory
Математика: теория рекурсивных функцийУниверсальный англо-русский словарь > recursive function theory
-
9 рекурсивная теория
recursive theory мат.Русско-английский научно-технический словарь Масловского > рекурсивная теория
-
10 рекурсивная теория
Mathematics: recursive theoryУниверсальный русско-английский словарь > рекурсивная теория
-
11 рекурсивное множество
-
12 рекурсивное множество
Русско-английский военно-политический словарь > рекурсивное множество
-
13 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
-
14 general
1) общий
2) генеральный
3) общеобменный
4) суммарный
5) общего вида
6) полный
7) всеобщий
8) капитальный
9) равномерный
– general chart
– general computer
– general definition
– general determination
– general factor
– general integral
– general meaning
– general motion
– general number
– general population
– general recursive
– general register
– general services
– general term
– general validity
– general wastage
– in general
– in general usage
general theory of relativity — <phys.> теория относительности общая
if we go over to the general case — переходя к общему случаю
-
15 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
-
16 arithmetic
1) арифметика || арифметический2) арифметические действия, арифметические операции• -
17 метод
approach, device, manner, mean, method, mode, practice, procedure, system, technique, technology, theory, way* * *ме́тод м.
method; procedure; techniqueагрегатнопото́чный ме́тод — conveyor-type production [production-line] methodаксиомати́ческий ме́тод — axiomatic [postulational] methodме́тод амплиту́дного ана́лиза — kick-sorting methodанаглифи́ческий ме́тод картогр. — anaglyphic(al) methodме́тод аналити́ческой вста́вки топ. — cantilever extension, cantilever (strip) triangulationме́тод быстре́йшего спу́ска стат. — steepest descent methodвариацио́нный ме́тод — variational methodме́тод Верне́йля радио — Verneuil methodвесово́й ме́тод — gravimetric methodме́тод ветве́й и грани́ц киб. — branch and bound methodме́тод взба́лтывания — shake methodвизуа́льный ме́тод — visual methodме́тод возду́шной прое́кции — aero-projection methodме́тод враще́ния — method of revolutionме́тод вреза́ния — plunge-cut methodме́тод вре́мени пролё́та — time-of-flight methodвре́мя-и́мпульсный ме́тод ( преобразования аналоговой информации в дискретную) — pulse-counting method (of analog-to-digital conversion)ме́тод встре́чного фрезерова́ния — conventional [cut-up] milling methodме́тод вы́бега эл. — retardation methodме́тод вымета́ния мат. — sweep(ing)-out methodме́тод гармони́ческого бала́нса киб., автмт. — describing function methodме́тод гармони́ческой линеариза́ции — describing function methodголографи́ческий ме́тод — holographic methodгравиметри́ческий ме́тод — gravimetric(al) methodграфи́ческий ме́тод — graphical methodме́тод графи́ческого трансформи́рования топ. — grid methodграфоаналити́ческий ме́тод — semigraphical methodме́тод гра́фов мат. — graph methodгруппово́й ме́тод ( в высокочастотной телефонии) — grouped-frequency basisсисте́ма рабо́тает групповы́м ме́тодом — the system operates on the grouped-frequency basisме́тод двух ре́ек геод., топ. — two-staff [two-base] methodме́тод двух узло́в ( в анализе электрических цепей) — nodal-pair methodме́тод дирекцио́нных угло́в геод. — method of gisementsме́тод запа́са про́чности ( в расчетах конструкции) — load factor methodме́тод засе́чек афс. — resection methodме́тод зерка́льных изображе́ний эл. — method of electrical imagesме́тод зо́нной пла́вки ( в производстве монокристаллов полупроводниковых материалов) — floating-zone method, floating-zone techniqueме́тод избы́точных концентра́ций ( для опробования гипотетического механизма реакции) — isolation method (of the testing the rate equations)ме́тод измере́ния, абсолю́тный — absolute [fundamental] method of measurementме́тод измере́ния, конта́ктный — contact method of measurementме́тод измере́ния, ко́свенный — indirect method of measurementме́тод измере́ния, относи́тельный — relative method of measurementме́тод измере́ния по то́чкам — point-by-point methodме́тод измере́ния, прямо́й — direct method of measurementме́тод измере́ния угло́в по аэросни́мкам — photogoniometric methodме́тод изображе́ний эл. — method of images, image methodме́тод изото́пных индика́торов — tracer methodиммерсио́нный ме́тод — immersion methodи́мпульсный ме́тод свар. — pulse methodме́тод и́мпульсов — momentum-transfer methodме́тод инве́рсии — inversion methodи́ндексно-после́довательный ме́тод до́ступа, основно́й вчт. — basic indexed sequential access method, BISAMи́ндексно-после́довательный ме́тод до́ступа с очередя́ми вчт. — queued indexed sequential access method, BISAMинтерференцио́нный ме́тод — interferometric methodме́тод испыта́ний — testing procedure, testing methodме́тод испыта́ний, кисло́тный — acid testме́тод испыта́ний, пане́льный — panel-spalling testме́тод испыта́тельной строки́ тлв. — test-line methodме́тод иссле́дований напряже́ний, опти́ческий — optical stress analysisме́тод истече́ния — efflux methodме́тод итера́ции — iteration method, iteration techniqueме́тод итера́ции приво́дит к сходи́мости проце́сса — the iteration (process) converges to a solutionме́тод итера́ции приво́дит к (бы́строй или ме́дленной) сходи́мости проце́сса — the iteration (process) converges quickly or slowlyме́тод картосоставле́ния — map-compilation [plotting] methodме́тод кача́ющегося криста́лла ( в рентгеноструктурном анализе) — rotating-crystal methodка́чественный ме́тод — qualitative methodкессо́нный ме́тод — caisson methodколи́чественный ме́тод — quantitative methodколориметри́ческий ме́тод — colorimetric methodме́тод кольца́ и ша́ра — ball-and-ring methodкомплексометри́ческий ме́тод ( для определения жёсткости воды) — complexometric methodкондуктометри́ческий ме́тод — conductance-measuring methodме́тод коне́чных ра́зностей — finite difference methodме́тод консерви́рования — curing methodме́тод контро́ля, дифференци́рованный — differential control methodме́тод контро́ля ка́чества — quality control methodме́тод ко́нтурных то́ков — mesh-current [loop] methodме́тод ко́нуса — cone methodме́тод корнево́го годо́графа киб., автмт. — root-locus methodкорреляцио́нный ме́тод — correlation methodко́свенный ме́тод — indirect methodме́тод кра́сок ( в дефектоскопии) — dye-penetrant methodлаборато́рный ме́тод — laboratory methodме́тод ла́ковых покры́тий ( в сопротивлении материалов) — brittle-varnish methodме́тод лине́йной интерполя́ции — method of proportional partsме́тод Ляпуно́ва аргд. — Lyapunov's methodме́тод магни́тного порошка́ ( в дефектоскопии) — magnetic particle [magnetic powder] methodмагни́тно-люминесце́нтный ме́тод ( в дефектоскопии) — fluorescent magnetic particle methodме́тод ма́лого пара́метра киб., автмт. — perturbation theory, perturbation methodме́тод ма́лых возмуще́ний аргд. — perturbation methodме́тод мгнове́нной равносигна́льной зо́ны рлк. — simultaneous lobing [monopulse] methodме́тод механи́ческой обрабо́тки — machining methodме́тод ме́ченых а́томов — tracer methodме́тод микрометри́рования — micrometer methodме́тод мно́жителей Лагра́нжа — Lagrangian multiplier method, Lagrange's method of undetermined multipliersме́тод моме́нтных площаде́й мех. — area moment methodме́тод Мо́нте-Ка́рло мат. — Monte Carlo methodме́тод навига́ции, дальноме́рный ( пересечение двух окружностей) — rho-rho [r-r] navigationме́тод навига́ции, угломе́рный ( пересечение двух линий пеленга) — theta-theta [q-q] navigationме́тод наиме́ньших квадра́тов — method of least squares, least-squares techniqueме́тод наискоре́йшего спу́ска мат. — method of steepest descentме́тод нака́чки ( лазера) — pumping [excitation] methodме́тод накопле́ния яд. физ. — “backing-space” methodме́тод наложе́ния — method of superpositionме́тод напыле́ния — evaporation techniqueме́тод нару́жных заря́дов горн. — adobe blasting methodме́тод незави́симых стереопа́р топ. — method of independent image pairsненулево́й ме́тод — deflection methodме́тод неопределё́нных мно́жителей Лагра́нжа — Lagrangian multiplier method, Lagrange's method of undetermined multipliersме́тод неподви́жных то́чек — method of fixed pointsнеразруша́ющий ме́тод — non-destructive method, non-destructive testingнерекурси́вный ме́тод — non-recursive methodнето́чный ме́тод — inexact methodнефелометри́ческий ме́тод — nephelometric methodме́тод нивели́рования по частя́м — method of fraction levellingнулево́й ме́тод — null [zero(-deflection) ] methodме́тод нулевы́х бие́ний — zero-beat methodме́тод нулевы́х то́чек — neutral-points methodме́тод обеспе́чения надё́жности — reliability methodме́тод обрабо́тки — processing [working, tooling] methodме́тод обра́тной простра́нственной засе́чки топ. — method of pyramidобра́тно-ступе́нчатый ме́тод свар. — step-back methodме́тод объединё́нного а́тома — associate atom methodобъекти́вный ме́тод — objective methodобъё́мный ме́тод — volumetric methodме́тод одного́ отсчё́та ( преобразование непрерывной информации в дискретную) — the total value method (of analog-to-digital conversion)окисли́тельно-восстанови́тельный ме́тод — redox methodопера́торный ме́тод — operational methodме́тод определе́ния ме́ста, дальноме́рно-пеленгацио́нный ( пересечение прямой и окружности) — rho-theta [r-q] fixingме́тод определе́ния ме́ста, дальноме́рный ( пересечение двух окружностей) — rho-rho [r-r] fixingме́тод определе́ния ме́ста, пеленгацио́нный ( пересечение двух линий пеленга) — theta-theta [q-q] fixingме́тод определе́ния отбе́ливаемости и цве́тности ма́сел — bleach-and-colour methodме́тод определе́ния положе́ния ли́нии, двукра́тный геод. — double-line methodме́тод опти́ческой корреля́ции — optical correlation techniqueме́тод осажде́ния — sedimentation methodме́тод осо́бых возмуще́ний аргд. — singular perturbation methodме́тод осредне́ния — averaging [smoothing] methodме́тод отбо́ра проб — sampling method, sampling techniqueме́тод отклоне́ния — deflection methodме́тод отопле́ния метал. — fuel practiceме́тод отраже́ния — reflection methodме́тод отражё́нных и́мпульсов — pulse-echo methodме́тод отыска́ния произво́дной, непосре́дственный — delta methodме́тод па́дающего те́ла — falling body methodме́тод парамагни́тного резона́нса — paramagnetic-resonance methodме́тод пе́рвого приближе́ния — first approximation methodме́тод перева́ла мат. — saddle-point methodме́тод перено́са коли́чества движе́ния аргд. — momentum-transfer methodме́тод перераспределе́ния моме́нтов ( в расчёте конструкций) — moment distribution methodме́тод пересека́ющихся луче́й — crossed beam methodме́тод перехо́дного состоя́ния ( в аналитической химии) — transition state methodме́тод перпендикуля́ров — offset methodме́тод перспекти́вных се́ток топ. — grid methodме́тод пескова́ния с.-х. — sanding methodпикнометри́ческий ме́тод — bottle methodме́тод площаде́й физ. — area methodме́тод повторе́ний геод. — method of reiteration, repetition methodме́тод подбо́ра — trial-and-error [cut-and-try] methodме́тод подо́бия — similitude methodме́тод подориенти́рования топ. — setting on points of controlме́тод по́лной деформа́ции — total-strain methodме́тод полови́нных отклоне́ний — half-deflection methodме́тод положе́ния геод. — method of bearings, method of gisementsполуколи́чественный ме́тод — semiquantitative methodме́тод поля́рных координа́т — polar methodме́тод попу́тного фрезерова́ния — climb [cut-down] milling methodпорошко́вый ме́тод ( в рентгеноструктурном анализе) — powder [Debye-Scherer-Hull] methodме́тод посе́ва — seeding techniqueме́тод после́довательного счё́та ( преобразования аналоговой информации в дискретную) — incremental method (of analog-to-digital conversion)ме́тод после́довательных исключе́ний — successive exclusion methodме́тод после́довательных подстано́вок — method of successive substitution, substitution processме́тод после́довательных попра́вок — successive correction methodме́тод после́довательных приближе́ний — successive approximation methodме́тод после́довательных элимина́ций — method of exhaustionме́тод послесплавно́й диффу́зии полупр. — post-alloy-diffusion techniqueпотенциометри́ческий компенсацио́нный ме́тод — potentiometric methodпото́чно-конве́йерный ме́тод — flow-line conveyor methodпото́чный ме́тод — straight-line flow methodме́тод прерыва́ний ( для измерения скорости света) — chopped-beam methodприближё́нный ме́тод — approximate methodме́тод проб и оши́бок — trial-and-error [cut-and-try] methodме́тод программи́рующих програ́мм — programming program methodме́тод продолже́ния топ. — setting on points on controlме́тод проекти́рования, моде́льно-маке́тный — model-and-mock-up method of designме́тод простра́нственного коди́рования ( преобразования аналоговой информации в дискретную) — coded pattern method (OF analog-to-digital conversion)ме́тод простра́нственной самофикса́ции — self-fixation space methodпрямо́й ме́тод — direct methodме́тод псевдослуча́йных чи́сел — pseudorandom number methodме́тод равносигна́льной зо́ны рлк. — lobing, beam [lobe] switchingме́тод равносигна́льной зо́ны, мгнове́нный рлк. — simultaneous lobing, monopulseме́тод ра́вных высо́т геод. — equal-altitude methodме́тод ра́вных деформа́ций ( в проектировании бетонных конструкций) — equal-strain methodме́тод ра́вных отклоне́ний — equal-deflection methodрадиацио́нный ме́тод — radiation methodме́тод радиоавтогра́фии — radioautograph techniqueме́тод радиоакти́вных индика́торов — tracer methodрадиометри́ческий ме́тод — radiometric methodме́тод разбавле́ния — dilution methodме́тод разделе́ния тлв. — separation methodме́тод разделе́ния переме́нных — method of separation of variablesме́тод разли́вки метал. — teeming [pouring, casting] practiceме́тод разме́рностей — dimensional methodра́зностный ме́тод — difference methodме́тод разруша́ющей нагру́зки — load-factor methodразруша́ющий ме́тод — destructive checkме́тод рассе́яния Рэле́я — Rayleigh scattering methodме́тод ра́стра тлв. — grid methodме́тод ра́стрового скани́рования — raster-scan methodме́тод расчё́та по допусти́мым нагру́зкам — working stress design [WSD] methodме́тод расчё́та по разруша́ющим нагру́зкам стр. — ultimate-strength design [USD] methodме́тод расчё́та при по́мощи про́бной нагру́зки стр. — trial-load methodме́тод расчё́та, упру́гий стр. — elastic methodрезона́нсный ме́тод — resonance methodме́тод реитера́ций геод. — method of reiteration, repetition methodрентгенострукту́рный ме́тод — X-ray diffraction methodме́тод реше́ния зада́чи о четвё́ртой то́чке геод. — three-point methodме́тод решета́ мат. — sieve methodру́порно-ли́нзовый ме́тод радио — horn-and-lens methodме́тод самоторможе́ния — retardation methodме́тод сви́лей — schlieren technique, schlieren methodме́тод сдви́нутого сигна́ла — offset-signal methodме́тод секу́щих — secant methodме́тод се́рого кли́на физ. — gray-wedge methodме́тод се́ток мат., вчт. — net(-point) methodме́тод сече́ний ( в расчёте напряжений в фермах) — method of sectionsме́тод сил ( определение усилий в статически неопределимой системе) — work methodсимволи́ческий ме́тод — method of complex numbersме́тод симметри́чных составля́ющих — method of symmetrical components, symmetrical component methodме́тод синхро́нного накопле́ния — synchronous storage methodме́тод скани́рования полосо́й — single-line-scan television methodме́тод скани́рования пятно́м — spot-scan photomultiplier methodме́тод смеще́ния отде́льных узло́в стр. — method of separate joint displacementме́тод совпаде́ний — coincidence methodме́тод сосредото́ченных пара́метров — lumped-parameter methodме́тод спада́ния заря́да — fall-of-charge methodспектроскопи́ческий ме́тод — spectroscopic methodме́тод спира́льного скани́рования — spiral-scan methodме́тод сплавле́ния — fusion methodме́тод сплошны́х сред ( в моделировании) — continuous field analog techniqueме́тод сре́дних квадра́тов — midsquare methodстатисти́ческий ме́тод — statistical techniqueстатисти́ческий ме́тод оце́нки — statistical estimationме́тод статисти́ческих испыта́ний — Monte Carlo methodстробоголографи́ческий ме́тод — strobo-holographic methodстробоскопи́ческий ме́тод — stroboscopic methodстру́йный ме́тод метал. — jet testступе́нчатый ме́тод ( сварки или сверления) — step-by-step methodсубъекти́вный ме́тод — subjective methodме́тод сухо́го озоле́ния — dry combustion methodме́тод сухо́го порошка́ ( в дефектоскопии) — dry methodсчё́тно-и́мпульсный ме́тод — pulse-counting methodтабли́чный ме́тод — diagram methodтелевизио́нный ме́тод электро́нной аэросъё́мки — television methodтелевизио́нный ме́тод электро́нной фотограмме́трии — television methodтенево́й ме́тод — (direct-)shadow methodтермоанемометри́ческий ме́тод — hot-wire methodтопологи́ческий ме́тод — topological methodме́тод то́чечного вплавле́ния полупр. — dot alloying methodто́чный ме́тод — exact [precision] methodме́тод травле́ния, гидри́дный — sodium hydride descalingме́тод трапецеида́льных характери́стик — Floyd's trapezoidal approximation method, approximation procedureме́тод трёх баз геод. — three-base methodме́тод триангуля́ции — triangulation methodме́тод трилатера́ции геод. — trilateration methodме́тод углово́й деформа́ции — slope-deflection methodме́тод углово́й модуля́ции — angular modulation methodме́тод удаля́емого трафаре́та полупр. — rejection mask methodме́тод удаля́емой ма́ски рад. — rejection mask methodме́тод узло́в ( в расчёте напряжении в фермах) — method of jointsме́тод узловы́х потенциа́лов — node-voltage methodме́тод ура́внивания по направле́ниям геод. — method of directions, direction methodме́тод ура́внивания по угла́м геод. — method of angles, angle methodме́тод уравнове́шивания — balancing methodме́тод усредне́ния — averaging [smoothing] methodме́тод фа́зового контра́ста ( в микроскопии) — phase contrastнаблюда́ть ме́тодом фа́зового контра́ста — examine [study] by phase contrastме́тод фа́зовой пло́скости — phase plane methodме́тод факториза́ции — factorization methodфлотацио́нный ме́тод — floatation methodме́тод формирова́ния сигна́лов цве́тности тлв. — colour-processing methodме́тод центрифуги́рования — centrifuge methodцепно́й ме́тод астр. — chain methodчи́сленный ме́тод — numerical methodме́тод Чохра́льского ( в выращивании полупроводниковых кристаллов) — Czochralski method, vertical pulling techniqueме́тод Шо́ра — Shore hardnessщупово́й ме́тод — stylus methodме́тод электрофоре́за — electrophoretic methodэмпири́ческий ме́тод — trial-and-error [cut-and-try] methodэнергети́ческий ме́тод1. косм. energy method2. стр. strain energy methodме́тод энергети́ческого бала́нса — power balance methodэргати́ческий ме́тод ( при общении человека с ЭВМ) — interactive [conversational] technique -
18 теория множеств
1. set theory2. theory of sets -
19 estimation
nounоценивание ninterval estimation интервальное/доверительное оцениваниеnonparametric estimation of probability density непараметрическое оценивание плотности вероятностейАнглийский-русский словарь по теории вероятностей, статистике и комбинаторике > estimation
-
20 теория рекурсивных функций
Mathematics: recursive function theoryУниверсальный русско-английский словарь > теория рекурсивных функций
- 1
- 2
См. также в других словарях:
Recursive categorical syntax — Recursive categorical syntax, also sometimes called algebraic syntax, is an algebraic theory of syntax developed by Michael Brame as an alternative to transformational generative grammar. It is a type of dependency grammar, and is related to link … Wikipedia
Recursive least squares filter — Recursive least squares (RLS) algorithm is used in adaptive filters to find the filter coefficients that relate to recursively producing the least squares (minimum of the sum of the absolute squared) of the error signal (difference between the… … Wikipedia
Recursive set — In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether or not a given number belongs to the set. A more… … Wikipedia
Theory of computation — In theoretical computer science, the theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into three major branches: automata… … Wikipedia
Recursive languages and sets — This article is a temporary experiment to see whether it is feasible and desirable to merge the articles Recursive set, Recursive language, Decidable language, Decidable problem and Undecidable problem. Input on how best to do this is very much… … Wikipedia
Recursive ordinal — In mathematics, specifically set theory, an ordinal α is said to be recursive if there is a recursive binary relation R that well orders a subset of the natural numbers and the order type of that ordering is α. It is trivial to check that ω is… … Wikipedia
Recursive language — This article is about a class of formal languages as they are studied in mathematics and theoretical computer science. For computer languages that allow a function to call itself recursively, see Recursion (computer science). In mathematics,… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Recursive type — In computer programming languages, a recursive type is a data type for values that may contain other values of the same type.An example is the list type, in Haskell: data List a = Nil | Cons a (List a) This indicates that a list of a s is either… … Wikipedia
Recursive tree — In graph theory, a discipline within mathematics, a recursive tree is a non planar labeled rooted tree. A size n recursive tree is labeled by distinct integers 1, 2, ..., n , where the labels are strictly increasing starting at the root labeled 1 … Wikipedia
Recursive competitive equilibrium — In macroeconomics, recursive competitive equilibrium (RCE) is an equilibrium concept. It has been widely used in exploring a wide variety of economic issues including business cycle fluctuations, monetary and fiscal policy, trade related… … Wikipedia